kw.\*:("Spécification formelle")
Results 1 to 25 of 3386
Selection :
Parallel hardware design in BHALLERSTEDE, Stefan.Lecture notes in computer science. 2003, pp 101-102, issn 0302-9743, isbn 3-540-40253-5, 2 p.Conference Paper
ZB 2003 : formal specification and development in Z and B (Turku, 4-6 June 2003)Bert, Didier; Bowen, Jonathan P; King, Steve et al.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40253-5, XIII, 545 p, isbn 3-540-40253-5Conference Proceedings
To be or not to be ... a global constraintBESSIERE, Christian; VAN HENTENRYCK, Pascal.Lecture notes in computer science. 2003, pp 789-794, issn 0302-9743, isbn 3-540-20202-1, 6 p.Conference Paper
Characters + mark-up = Z LexisTOYN, Ian; STEPNEY, Susan.Lecture notes in computer science. 2002, pp 100-119, issn 0302-9743, isbn 3-540-43166-7Conference Paper
The OntoWordNet project: Extension and axiomatization of conceptual relations in WordNetGANGEMI, Aldo; NAVIGLI, Roberto; VELARDI, Paola et al.Lecture notes in computer science. 2003, pp 820-838, issn 0302-9743, isbn 3-540-20498-9, 19 p.Conference Paper
Deriving a simulation input generator and a coverage metric from a formal specificationSHIMIZU, Kanna; DILL, David L.Design automation conference. 2002, pp 801-806, isbn 1-58113-461-4, 6 p.Conference Paper
How to diagnose a modern car with a formal B model?POUZANCRE, Guilhem.Lecture notes in computer science. 2003, pp 98-100, issn 0302-9743, isbn 3-540-40253-5, 3 p.Conference Paper
BE4 : The B extensible eclipse editing environmentBENDISPOSTO, Jens; LEUSCHEL, Michael.Lecture notes in computer science. 2006, pp 270-273, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 4 p.Conference Paper
Formal Extreme (and extremely formal) ProgrammingHERRANZ, Angel; MORENO-NAVARRO, Juan Jose.Lecture notes in computer science. 2003, pp 88-96, issn 0302-9743, isbn 3-540-40215-2, 9 p.Conference Paper
Confidentiality levels and deliberate/indeliberate protocol attacks. DiscussionBELLA, Giampaolo; BISTARELLI, Stefano; COHEN, Ernie et al.Lecture notes in computer science. 2003, pp 104-119, issn 0302-9743, isbn 3-540-20830-5, 16 p.Conference Paper
Automatically generating information from a Z specification to support the Classification Tree MethodHIERONS, Robert M; HARMAN, Mark; SINGH, Harbhajan et al.Lecture notes in computer science. 2003, pp 388-407, issn 0302-9743, isbn 3-540-40253-5, 20 p.Conference Paper
A linearly complex model for knowledge representationSARBO, Janos; FARKAS, Jozsef.Lecture notes in computer science. 2002, pp 20-33, issn 0302-9743, isbn 3-540-43901-3, 14 p.Conference Paper
STG: A symbolic test generation toolCLARKEL, Duncan; JERON, Thierry; RUSU, Vlad et al.Lecture notes in computer science. 2002, pp 470-475, issn 0302-9743, isbn 3-540-43419-4Conference Paper
Modeling agent-based systemsMANDUTIANU, Sanda.Lecture notes in computer science. 2001, pp 318-320, issn 0302-9743, isbn 3-540-42716-3Conference Paper
Formal methods in software practiceDILLON, Laura K; SANKAR, Sriram.IEEE transactions on software engineering. 1997, Vol 23, Num 5, pp 265-323, issn 0098-5589Serial Issue
Contribution à la réalisation d'une spécification formelle pour PROLOGRichard, Gilles; Lorho, Bernard.1989, 195 p.Thesis
B#: Toward a synthesis between Z and BABRIAL, Jean-Raymond.Lecture notes in computer science. 2003, pp 168-177, issn 0302-9743, isbn 3-540-40253-5, 10 p.Conference Paper
Investigating the integration of two formal methodsBICARREGUI, J; MATTHEWS, B; RITCHIE, B et al.Formal aspects of computing. 1998, Vol 10, Num 5-6, pp 532-549, issn 0934-5043Conference Paper
Verification of cryptographic protocols : An experimentMEHDI AYADI, M; BOLIGNANO, D.Lecture notes in computer science. 1997, pp 358-377, issn 0302-9743, isbn 3-540-63533-5Conference Paper
Towards a formal specification of the ICL data dictionarySUFRIN, B.ICL technical journal. 1984, Vol 4, Num 2, pp 195-217, issn 0142-1557Article
Efficient, verifiable shuffle decryption and its requirement of unlinkabilityJUN FURUKAWA.Lecture notes in computer science. 2004, pp 319-332, issn 0302-9743, isbn 3-540-21018-0, 14 p.Conference Paper
Corpus-based rules for Czech verb discontinuous constituentsZACKOVA, E; PALA, K.Lecture notes in computer science. 1999, Vol 1692, pp 325-328, issn 0302-9743, isbn 3-540-66494-7Conference Paper
Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers: abstraction, spécification, synthèse et optimisation = Formal techniques for the development of process-control systems in the area of manufacturing processes: abstraction, specification, synthesis and optimisationTchuenkam Tchoneng, Honoré; Finance, J. P.1991, 276 p.Thesis
Inverted decision tables and their application: automating the translation of specifications to programsLEVY, L. S; STUMP, H. T.AT&T Bell Laboratories technical journal. 1985, Vol 64, Num 2, pp 533-558, 2Article
B 2007 (formal specification and development in B)Julliand, Jacques; Kouchnarenko, Olga.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, XIII-292 p, isbn 978-3-540-68760-3Conference Proceedings